On the Languages Accepted by Watson-Crick Finite Automata with Delays

نویسندگان

چکیده

In this work, we analyze the computational power of Watson-Crick finite automata (WKFA) if some restrictions over transition function in model are imposed. We consider that imposed refer to maximum length difference between two input strands which is called delay. prove language class accepted by WKFA with such a proper subclass languages arbitrary general. addition, initiate study classes characterized WKFAs bounded delays. results means various relationships and sticker systems.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Watson-Crick Quantum Finite Automata

one-way quantum finite automata are reversible in nature, which greatly reduces its accepting property. In fact, the set of languages accepted by one-way quantum finite automata is a proper subset of regular languages. In this paper, we replace the tape head of one-way quantum finite automata with DNA double strand and name the model Watson-Crick quantum finite automata. The noninjective comple...

متن کامل

5′→ 3′ Sensing Watson-Crick Finite Automata

DNA computers provide new paradigms of computing (Păun et al., 1998). They appeared at the end of the last century. In contrast, the theory of finite automata is well developed and intensively used in both theory and practice. The Watson-Crick automata, introduced in (Freund et al., 1997), relate to both fields. They are important in the field of (DNA) computing and have important relation to f...

متن کامل

Languages Accepted by Integer Weighted Finite Automata

We study the family of languages accepted by the integer weighted nite automata. Especially the closure properties of this family are investigated.

متن کامل

On Local Testability in Watson-Crick Finite Automata

Watson-Crick finite automata were first proposed in [2] inspired by formal language theory, finite states machines and some ingredients from DNA computing such as working with molecules as double stranded complementary strings. Here, we define different kinds of local testability in this model. Mainly, we will explore local testability in the upper (lower) strand and in the double strand.

متن کامل

Hierarchies of Stateless Multicounter 5′ → 3′ Watson-Crick Automata Languages

We consider stateless counter machines which mix the features of one-head counter machines and a special type of two-head Watson-Crick automata (WK-automata). Our Watson-Crick counter machines are biologically motivated. They have two heads that read the input starting from the two extremes. The reading process is finished when there are no more symbols between the heads, i.e., every letter of ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Mathematics

سال: 2021

ISSN: ['2227-7390']

DOI: https://doi.org/10.3390/math9080813